Depth-first search - PDFSEARCH.IO - Document Search Engine

Depth-first search
Results: 101

#	Item
31	Seeking Stable Clusters in the Blogosphere Nilesh Bansal Fei Chiang University of Toronto Add to Reading List Source URL: www.blogscope.net Language: English - Date: 2012-04-10 15:02:30 Search algorithms Network flow Depth-first search Breadth-first search Correlation clustering Maximum flow problem Flow network Tree Connectivity Graph theory Mathematics Combinatorics
32	Automated Identification of Cryptographic Primitives in Binary Code with Data Flow Graph Isomorphism Pierre Lestringant* Frédéric Guihéry* Add to Reading List Source URL: www.amossys.fr Language: English - Date: 2015-05-07 04:40:10 Algorithm Mathematical logic Theoretical computer science Advanced Encryption Standard Depth-first search Directed acyclic graph Digital signature Cryptography Mathematics Search algorithms
33	PDF Document Add to Reading List Source URL: jveness.info Language: English - Date: 2009-09-12 23:05:54 Mathematics Problem solving Alpha-beta pruning Negamax Minimax Transposition table Expectiminimax tree Iterative deepening depth-first search Game tree Game artificial intelligence Search algorithms Artificial intelligence
34	Graal IR: An Extensible Declarative Intermediate Representation Gilles Duboscq∗ Lukas Stadler∗ Doug Simon† Christian Wimmer† Thomas Würthinger† Hanspeter Mössenböck∗ Add to Reading List Source URL: ssw.jku.at Language: English - Date: 2013-06-03 13:35:12 Static single assignment form Linked list Combinatorics Connectivity Control flow graph Graph Search algorithms Network theory Depth-first search Compiler construction Mathematics Graph theory
35	REPRESENTATION OF SKETCH DATA FOR LOCALISATION IN LARGE DATA SETS M. Kopczynski, M. Sester Institute of Cartography and Geoinformatics, University of Hannover, Appelstraße 9a, 30167 Hannover, Germany –Matthias.Kopczyn Add to Reading List Source URL: www.geo-spirit.org Language: English - Date: 2004-06-01 08:55:37 Graph Topology Depth-first search Matching Edge coloring Graph theory Mathematics Theoretical computer science
36	On the complexity of searching for an evader with a faster pursuer Florian Shkurti1 and Gregory Dudek1 Abstract— In this paper we examine pursuit-evasion games in which the pursuer has higher speed than the evader. Thi Add to Reading List Source URL: www.cim.mcgill.ca Language: English - Date: 2013-05-18 17:31:04 Search algorithms Pursuit-evasion game theory Shortest path problem NP-complete Planar graph Breadth-first search Binary tree Depth-first search Graph theory Theoretical computer science Mathematics
37	Mechanized Verification of Computing Dominators for Formalizing Compilers Jianzhou Zhao and Steve Zdancewic University of Pennsylvania {jianzhou,stevez}@cis.upenn.edu Abstract. One prerequisite to the formal verification Add to Reading List Source URL: www.cis.upenn.edu Language: English - Date: 2012-10-15 15:20:25 Dominator Graph theory Depth-first search Tree traversal Computing Search algorithms Mathematics Compiler construction
38	Technical Report Graph Isomorphism Implementation in LEDA 5.1 Author: Johannes Singler Add to Reading List Source URL: www.algorithmic-solutions.de Language: English - Date: 2008-01-10 18:04:28 Graph automorphism Graph Depth-first search Tree Matching Degree Planar graph Power graph analysis Graph theory Mathematics Theoretical computer science
39	CS109B Notes for LectureDepth-First Search A method of exploring a directed graph and Add to Reading List Source URL: infolab.stanford.edu Language: English - Date: 2008-09-19 00:58:41 Search algorithms Graph connectivity Depth-first search Topological sorting Directed graph Connected component Graph Shortest path problem Connectivity Graph theory Mathematics Combinatorics
40	On the Importance of Program Representations in Static Analysis Xiao Xiao Supervisor: Charles Zhang Department of Computer Science and Engineering The Hong Kong University of Science and Technology Add to Reading List Source URL: www.cse.ust.hk Language: English - Date: 2013-09-22 04:04:19 Network flow Matroid theory Control flow graph Graph Depth-first search Static single assignment form Connected component Connectivity Tree Graph theory Mathematics Compiler construction